از آنجا که رویکردهای درستی یابی ایستا1 و آزمون نرم افزار ، برای اطمینان یافتن از درستی عملکرد نرم افزار ها کافی نیست، رویکرد دیگری به نام درستی یابی در زمان اجرا2 - که در آن درستی نرم افزار در برابر قیود3 در زمان اجرای واقعی نرم افزار انجام می شود - مورد استقبال قرار گرفته است. اما مشکلی که این رویکرد با آن روبه رو است، درستی یابی فعالیت های زمان اجرای نرم افزار در برابر توصیف های انتزاعی4 و سط...

در سیستم های بلادرنگ بزرگ، به دلایلی مانند پیچیدگی سیستم، عدم درک کامل از سیستم، پایین آوردن نرخ خطاها و غیره، قبل از پیاده سازی سیستم، مدلهایی از این سیستم ها ایجاد میشود و صحت آنها با استفاده از روشهای مختلف درستی یابی سیستم، مورد بررسی قرار می گیرد. از روشهای موجود برای درستی یابی سیستم های بلادرنگ، می توان به روش های رسمی و ریاضی از جمله خودکارهای زمان دار برای مدل سازی و روش بررسی مدل برای...

چکیده ندارد.

مقدمه: رسیدن به عملکرد بهینه به همراه بهبود زمان واکنش از مهم ترین اهداف هنرمندان، ورزشکاران، نظامیان و سایر مشاغلی است که نیاز به اجرای دقیق و بدون اشتباه دارند و بیش از هر چیزی آنها را به تلاش و تمرین وا می دارد. یکی از روش های مورد استفاده روانشناسان برای رسیدن به عملکرد بهینه و اوج اجرا، آموزش نوروفیدبک است. این پژوهش با هدف مطالعه ی تأثیر آموزش افزایش موج smr (sensori motor rhythm: 12-15 h...

تعهداتی که برای شخص بوجود می‏آید خواه خود آن را خواسته باشد یا به او تحمیل شده باشد باید زمانی به پایان رسد و متعهد ذمه خود را رها سازد و نمی‏توان تصور نمود که بدهکار همیشه و برای ابد به طلبکار مدیون باشد، زیرا مدیونیت دائمی او با آزادی فرد و عدالت حقوقی منافات دارد. بحث از تعریف و ماهیت این عنوان مهم فقهی و حقوقی کمتر مورد توجه نویسندگان و پژوهشگران واقع شده است. در این نوشتار سعی شده است تا ا...

مشخص شده است که محلول های قندی می تواند عملکرد ورزشکار را در ورزش طولانی مدت بهبود ببخشد. هدف از این مطالعه مقایسه اثر محلول شکر (ساکاروز) و گلوکز بر عملکرد ورزشی شناگران بود. دوازده شناگر مرد نوجوان ایرانی در رده سنی ۱۲-۱۷ سال از تیم واترپلوی صنعت نفت اهواز در یک مطالعه متقاطع دوسوکور شرکت کردند. آن ها محلول کربوهیدرات خالص ۶% را به عنوان گلوکز، شکر و دارونما (آسپارتام) در سه روز غیرمتوالی مصر...

گمنامی خاصیتی قابل ردیابی نیست، از این رو بررسی گرهای مدل سنتی توانایی بیان و درستی یابی آن را ندارند. با بهره گیری از منطق شناختی برای مدل کردن پروتکل ها می توان گمنامی را با فرمول شناختی بیان و درستی یابی کرد.در این پایان نامه هدف استفاده از منطق شناختی پویا برای مدل سازی پروتکل های امنیت و خاصیت ها به ویژه خاصیت گمنامی است.

توصیف سیستم های حیاتی به روش های صوری و ریاضی انجام می گیرد. توصیف صوری و ریاضی مشکلات تخصصی دارند و سنگین و هزینه بر هستند.استفاده از دیاگرام ها کار را آسان می کنند ولی بیشتر دیاگرام ها دارای پایه ریاضی نیستند و در نتیجه برای توصیف سیستم های حیاتی نا مناسب اند. در میان نمودار های موجود یکی از نمودار های مطرح نمودار حالت است که این نمودار علاوه بر بصری-بودن دارای پایهریاضی مبتنی بر خودکار های ب...